Nuprl Definition : dec2bool 4,23
dec2bool(d) == Case d of inl(x)  true ; inr(x)  false 
latex

Definitionstrue, false
FDL editor aliasesdec2bool

origin